$\forall$$e$=rcv($l$,${\it tg}$). $P$($e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$e$:E. (kind($e$) = rcv($l$,${\it tg}$)) $\Rightarrow$ $P$($e$)